Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse

Source URL: perso.ensta-paristech.fr

LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

Source URL: www.react.uni-saarland.de

• Formal methods
• I0
• Loop invariant

PDF Document

Source URL: www.vpp-patent.de

Dr. Markus Völter (Voelter) Born February 14, 1974, in Heidenheim/Brenz, Germany Degrees Dipl. Ing. (FH) Physikalische Technik (Physics Engineering) PhD in Computer Science LAST CHANGED

Source URL: www.voelter.de

• Language workbench
• Computing
• Software engineering
• Software
• Itemis
• Domain-specific language
• Xtext
• JetBrains MPS
• JetBrains
• Software development
• OOPSLA
• Model-driven engineering

BEWERBEN SIE SICH JETZT! Nachhaltiges und ökologisches Handeln im Unternehmen ist für immer mehr Handelshäuser in Berlin Teil der Firmenphilosophie

Source URL: www.berlin-partner.de

ORSAY No d’ordre : 2097 ´ DE PARIS-SUD 11 UNIVERSITE CENTRE D’ORSAY

Source URL: julien.signoles.free.fr

• Software engineering
• Computer programming
• Software
• Frama-C
• Formal methods
• Logic in computer science
• ACSL
• OCaml
• Runtime verification
• ANSI/ISO C Specification Language

Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Random testing
• Unit testing
• Code coverage
• Test automation
• Algorithm
• Manual testing
• Concolic testing

DIN lang 4 Seiten Pappenheim 14pt.indd

Source URL: www.capito-nordbayern.de

Curves of low degrees on Fano varieties Olivier Debarre ? D´epartement de Math´ematiques et Applications – CNRS UMR 8553

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Geometry
• Algebraic geometry
• Birational geometry
• Projective variety
• Fano variety
• Divisor
• Smooth scheme
• Algebraic curve
• Chow group
• Coherent sheaf